pension fund's holdings